Tarantula: Killing Driver Bugs Before They Hatch
نویسندگان
چکیده
The Linux operating system is undergoing continual evolution. Evolution in the kernel and generic driver modules often triggers the need for corresponding evolutions in specific device drivers. Such collateral evolutions are tedious, because of the large number of device drivers, and error-prone, because of the complexity of the code modifications involved. We propose an automatic tool, Tarantula, to aid in this process. In this paper, we examine some recent evolutions in Linux and the collateral evolutions they trigger, and assess the corresponding requirements on Tarantula.
منابع مشابه
Learning Tractable Probabilistic Models for Fault Localization
In recent years, several probabilistic techniques have been applied to various debugging problems. However, most existing probabilistic debugging systems use relatively simple statistical models, and fail to generalize across multiple programs. In this work, we propose Tractable Fault Localization Models (TFLMs) that can be learned from data, and probabilistically infer the location of the bug....
متن کاملMessage filters for hardening the Linux kernel
Various mechanisms for hardening the Linux kernel (for example, enforcing system call policies, device driver failure recovery, protection against exploitation of bugs in code) are proposed in the literature. The main problem with these mechanisms is that, they require changes in the kernel code leading to the possibility of introducing new bugs and hence increasing the testing time. We propose...
متن کاملImproving Device Driver Reliability through Decoupled Dynamic Binary Analyses
Device drivers are Operating Systems (OS) extensions that enable the use of I/O devices in computing systems. However, studies have identified drivers as an Achilles’ heel of system reliability, their high fault rate accounting for a significant portion of system failures. Consequently, significant effort has been directed towards improving system robustness by protecting system components (e.g...
متن کاملGuardrail: High Fidelity Correctness Checking of Device Drivers for Safeguarding I/O Operations
Device drivers are an Achilles’ heel of modern commodity operating systems, accounting for far too many system failures. Previous work on driver reliability has focused on protecting the kernel from unsafe driver side-effects by interposing an invariant-checking layer at the driver interface, but otherwise treating the driver as a black box. In this paper, we propose and evaluate Guardrail, whi...
متن کاملSublethal Effects of ActiveGuard Exposure on Feeding Behavior and Fecundity of the Bed Bug (Hemiptera: Cimicidae).
Sublethal exposure to pesticides can alter insect behavior with potential for population-level consequences. We investigated sublethal effects of ActiveGuard, a permethrin-impregnated fabric, on feeding behavior and fecundity of bed bugs (Cimex lectularius L.) from five populations that ranged from susceptible to highly pyrethroid resistant. After exposure to ActiveGuard fabric or untreated fab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005